والبحث في المقام بحث عن المبادئ وهي تصورية وتصديقية ، فالتصورية : هي التي يكون البحث فيها عن حدود الموضوع واجزائه وجزئياته ، وعن عوارضه وعوارضها - التي هي موضوعات مسائل العلم - . والتصديقية : هي التي يبحث فيها عن ثبوت الموضوع أو عن موضوعية الحكم أو عن المقدمات التي تبنى عليها قياسات العلم وعن أدلته التي تقتضي التصديق بثبوت المحمولات لموضوعاتها وتسمى هذه المبادئ التصديقية مسائل العلم . وهنا قسم آخر من المبادئ هو المبادئ الاحكامية ، وهي أيضا تصورية وتصديقية ، فالتصورية هي ما يكون البحث فيها عن حقيقة الحكم من حيث كونه تكليفيا أو وضعيا ومجعولا مستقلا أو انتزاعيا وعن اقسامه من كونه نفسيا أو غيريا ومطلقا ومشروطا إلى آخر تقسيماته . والتصديقية ما يكون البحث فيها عن عوارض الحكم ومقتضياته التي تكون نتيجته ثبوت مبدأ تصديقي للحكم بثبوت شيء كالحكم بوجوب المقدمة أو النهي عن الضد ، أو اجتماع الامر والنهي وعدمه ، لينتج تعارض الدليلين أو عدم تعارضهما وكامكان اخذ قصد القربة جزءا في موضوع الامر وعدم اخذه ليمكن التمسك بالاطلاق لنفي اعتباره جزءا فيه . التمايز بين العلوم المشهور ان تمايز العلوم بتمايز الموضوعات ، وهذا القول يتم لو وجد جامع بين موضوعات المسائل فان موضوعاتها متغايرة ، وكذلك الكلام لو قيل إن التمايز يكون بالمحمولات فإنها مختلفة ، ألا ترى ان